Reversible Computation

定义 Definition

可逆计算：一种计算模型/方法，使得计算的每一步在理论上都可以被“反向”还原，从输出唯一确定输入；常用于讨论降低能量耗散（与兰道尔原理相关）、以及作为量子计算与可逆逻辑电路（如 Toffoli 门、Fredkin 门）的基础。也可泛指“可逆的计算过程/可逆算法”。

发音 Pronunciation (IPA)

/rɪˈvɝːsəbəl ˌkɑːmpjuˈteɪʃən/

例句 Examples

Reversible computation can, in principle, reduce energy loss from erased information.
可逆计算在理论上可以减少因信息擦除带来的能量损耗。

By rewriting the program into a reversible form, the researchers showed how each intermediate state could be reconstructed, which is crucial for implementing certain quantum-style logic circuits.
研究人员将程序改写为可逆形式，展示了如何重建每一个中间状态，这对实现某些类量子逻辑电路至关重要。

词源 Etymology

reversible 来自 reverse（反转、倒转）+ -ible（“能够……的”后缀），意为“可被反转的/可逆的”；computation 来自拉丁语 computare（计算、合计）。合起来的含义即“能够被反向还原的计算”。

相关词 Related Words

• Reversible
• Reversibility
• Irreversible
• Landauer Principle
• Entropy
• Information
• Toffoli Gate
• Fredkin Gate
• Quantum Computing
• Logic Gate

文学与名著作品 Literary Works

• Charles H. Bennett, “Logical Reversibility of Computation”（1973）：经典论文，奠定可逆计算与能耗讨论的基础。
• Rolf Landauer, “Irreversibility and Heat Generation in the Computing Process”（1961）：提出与信息擦除相关的能量下限（常与可逆计算一起讨论）。
• Michael A. Nielsen & Isaac L. Chuang, Quantum Computation and Quantum Information（2000）：在量子电路与经典可逆门（如 Toffoli 门）语境中涉及可逆计算思想。